Предложена математическая модель комплексной оценки получаемого эффекта от перевода кластеров ВУЗов на стандарт 10G-Ethernet, основанная на данных квартальных отчетов, предоставляемых аналитической компанией IDG. Приведены результаты проверки модели, которые свидетельствуют об обоснованности перехода на новый стандарт в 2010 г.

Приведено краткое описание глобальной инфраструктуры мониторинга Internet - ATLAS. Проанализирован характер современного Internet-трафика и выполнен прогноз его годового роста.

Предложена модификация метода верификации TLA Checker, направленная на уменьшение временных издержек, обусловленных процессом проверки WS-BPEL-описаний веб-сервисов на основе соответствующих формальных TLA-моделей. Модификация заключается в серии из BFS- и DFS-обходов.

Разработана формальная модель специфицирования свойств композитных веб-сервисов на основе формализма темпоральной логики TLA. На отдельном примере выполнена верификация TLA-спецификации композитного веб-сервиса с множеством свойств в автоматизированном режиме с использованием реализации метода Model Checking в составе программного средства TLA Toolbox (TLC, TLA Checker). Проведена оценка сопутствующих временных издержек.

Досліджено розробку моделей таі методів формальних специфікації та верифікації, а також валідації композитних веб-сервісів з метою підвищення ефективності проектування розподілених комп'ютерних систем корпоративного призначення на основі сервіс-орієнтованої архітектури. Проведено порівняльний аналіз підходів до проектування композитних веб-сервісів. На підставі проведеного аналізу запропоновано власний комплексний підхід, згідно котрого під час проектування здійсненого в автоматизованому режимі підлягають перевірці функціональних характеристик таких систем, так і оцінка придатності останніх до цільового використання. Процес проектування композитних веб-сервісів представлено послідовністю трьох етапів - початковим етапом специфікації (автоматизованого синтезу формальних TLA-специфікацій функціональних характеристик), етапом верифікації (автоматизованої перевірки синтезованих специфікацій модельно-орієнтованим методом формальної верифікації) та заключним етапом валідації шляхом імітаційного моделювання на основі формалізму DEVS. Розроблено стратифіковану формальну модель TLA-специфікацій функціональних характеристик композитних веб-сервісів. Експериментальним шляхом підтверджено доцільність використання розробленої моделі на початковому етапі запропонованого комплексного підходу до проектування композитних веб-сервісів як засіб підвищення ефективності проектування. Для автоматизованої перевірки TLA-специфікацій функціональних характеристик композитних веб-сервісів, синтезованих на основі запропонованої с тратифікованої моделі, розроблено модельно-орієнтований метод формальної верифікації таких специфікацій. Розроблено дискретно-подійну імітаційну DEVS-модель композитного веб-сервісу як засобу валідації. Запропоновано правила синтезу DEVS-моделей на основі TLA-специфікацій функціональних характеристик композитних веб-сервісів.

Разработан модифицированный метод распознавания текста на изображении. Выделены этапы обработки изображения перед применением метода: преобразование изображения, исправление искажений, детектирование символов. Распознавание символов осуществлено нейронной сетью с помощью метода шаблонов. Приведены два варианта решения поставленной задачи - первый реализован по известному алгоритму, второй модифицированный. В результате проведенных экспериментов подтверждена эффективность модифицированного метода.

Проведен анализ наиболее содержательных обзоров, посвященных исследованию и классификации подходов и методов обнаружения и выбора Web-сервисов. Описаны перспективные подходы обнаружения и выбора Web-сервисов по их нефункциональным (Quality of Services, QoS) характеристикам. Рассмотрены преимущества и недостатки таких подходов, а также трудности, обусловленные использованием методов обнаружения и выбора Web-сервисов.

Nowadays Web Services usage is represented by a plethora of specific domains. Such situation causes the necessity of standardized applicable approaches and methods existence. To this end the analysis of the most well-grounded reviews, devoted to Web Services discovery and selection approaches and methods, has been conducted. Those approaches and methods have been described by us basing on Web Services QoS-properties. The advantages and drawbacks of such approaches, and also the challenges caused by the corresponding Web Services discovery and selec-tion methods usage, have been examined.

Проведено аналіз найбільш грунтовних оглядів, присвячених дослідженню та класифікації підходів і методів виявлення і вибору Web-сервісів. Описано перспективні підходи до виявлення та вибору Web-сервісів за їх нефункціональними (Quality of Services, QoS) характеристиками. Розглянуто переваги та недоліки таких підходів, а також труднощі, обумовлені використанням методів виявлення та вибору Web-сервісів.

Висвітлено основні питання з обслуговування ОС Windows, зберігання даних на дискових накопичувачах та архівації даних. Матеріал подано у формі практичних задач, що виникають як у адміністратора системи так і у звичайних користувачів. Подано інформацію про принципи організації даних на жорстких магнитних дисках, файлову систему FAT 32, особливості виправлення помилки "брудний біт" у різних файлових системах, відновлення даних з використанням таблиці FAT, структуру файлової системи NTFS. Увагу приділено перевірці реєстру ОС Windows на наявність вірусів, системному обслуговуванню ОС Windows при аварійних ситуаціях, ймовірнісному кодуванню, кодам Хаффмана з мінімальною дисперсією, алгоритмам стиснення інформації без втрат.

Виконано огляд архітектури, структури та функцій автоматизованих систем підтримки ринку електричної енергії України. Розглянуто склад та функції систем підтримки процесів торгівлі електричною енергією в Україні. Відображено особливості взаємодії таких систем із системами моніторингу, технологічного управління та комерційного обліку. Наведено формалізми для опису моделей функціонування ринку електричної енергії та для відображення взаємодії учасників ринку в окремих ринкових сегментах на основі використання рольових моделей. Виконано аналіз та зіставлення ролей та бізнес-сфер гармонізованої моделі європейського ринку електроенергії та відповідних ролей і сегментів ринку електричної енергії України. Описано метод оцінки працездатності структури та функцій ринку електричної енергії передусім в частині виявлення потенціальних проблем в роботі ринку електричної енергії. Наведено, огляд методів перевірки окремих функцій систем управління технологічними та комерційними процесами на етапах розробки та удосконалення відповідних інформаційних систем. Деталізовано метод контролю за показниками нефункціональних характеристик розроблюваної системи критичного призначення згідно з рольовими моделями ринку електричної енергії.

Проєктування - це етап процесу розроблення, який подається у наступній послідовності: аналіз вимог до розроблюваної системи, проєктування, реалізація і валідація, яка може бути здійснена за допомогою імітаційного моделювання або тестування. Система критичного призначення - це система, в якій збої і відмови у роботі призводять до критичних наслідків. Використано поняття "артефакт", тобто сутність, що характеризується архітектурою і змістом. Результат виконання певного кроку на етапі проєктування надано у вигляді блок-схеми алгоритму, діаграми та формалізованого подання. На етапі проєктування процесу розроблення за даними артефактами здійснюється контроль показників не лише функціональних характеристик (ФХ), а й нефункціональних характеристик (НФХ), які типово перевіряються на заключному етапі валідації процесу розроблення. Проведення контролю при цьому сприяє підвищенню рівня функційної безпечності розроблюваної системи з позиції програмноалгоритмічної складової. Запропоновано сприяти цьому через реалізацію механізму спадковості артефактів. Артефакти, несуперечність яких розглянуто і підтверджено як показник ФХ на етапі проєктування процесу розроблення, позиціонуються як вихідні конструкції, на основі яких синтезуються похідні від них артефакти, а саме формалізовані подання, тобто засоби контролю показників НФХ. Для синтезу таких засобів запропоновано ієрархічну модель подання НФХ, яка є засобом уніфікації, за допомогою якого виконується контроль показників НФХ на етапі проєктування процесу розроблення. Для цього залучено математичний апарат Discrete Event System Specification Бернарда Зейглера.

Досліджено розвиток спеціалізованих засобів математичного та комп'ютерного моделювання, інформаційно-технологічного забезпечення автоматизації процесів підготовки та прийняття рішень відповідними системами організаційного управління структурними елементами енергосистеми й енергоринку із розвинутими засобами змістовноїї обробки даних і користувацького інтерфейсу учасників конкурентного ринку електричної енергії, діючих в умовах складних взаємовідносин та потенційних ризиків. Визначено особливості функцонування ринку електрична енергії, які вимагають вдосконалених комп'ютерних засобів моделювання, що забезпечують учасникам ринку можливість формулювати та акцептувати стратегії власної поведінки на різних сегментах конкурентного ринку. Проаналізовано існуючі рішення і дослідження в області створення сучасних програмних засобів моделювання, прогнозування та оптимізації функціонування енергетичних ринків у світі. Встановлено напрямок розвитку таких засобів і запропоновано структурно-функціональний склад інформаційно-технологічного забезпечення, яке являється функціональними складовими процесу підготовки та прийняття рішень стосовно вироблення стратегії власної поведінки учасника ринку на його сегментах. Викладено комплексний підхід до формалізації показників функціонування характеристик ринку, що підлягають контролю у процесі оперування засобами математичного та комп'ютерного моделювання, із акцентом на програмно-алгоритмічну складову. Забезпечено механізм контролю заданих показників названих характеристик в автоматизованому режимі вже на етапі проектування у процесі розроблення імітаційних моделей функціонування сегментів ринку електричноїї енергії.

Висвітлено аспекти контролю показників функціональних і нефункціональних характеристик розроблюваної програмно-алгоритмічної складової систем критичного призначення. Розглянуто сценарії, що мають місце на ринку електричної енергії, а також сценарії аерокосмічної галузі. Увагу приділено викладенню результатів проведених дослідження і розвитку поширеного методу формальної верифікації TLC, представлено сценарії енергетики відповідними артефактами - UML-діаграмами дій і викладено з позиції їх аналізу як подань функціональних характеристик інформаційно-технологічних системи керування електроенергетичними системами та ринком електричної енергії, відповідно до рекомендацій ENTSO-E. Зазначено, що нефункціональні характеристики адресуються, зокрема, у розрізі пропускної спроможності ліній електропередач - викладаються напрацювання у напрямі розрахунку оптимального співвідношення між витратами на спорудження та експлуатацію ліній. Акцентовано увагу на опрацюванні аспектів реалізації кіберзахисту - шляхом викладення підходу до верифікації артефактів кіберзахисту систем критичного призначення, що базується на застосуванні логіки предикатів як механізму формування даних для підтримки прийняття відповідних рішень.